\{$a$:$T$\} $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\{$x$:$T$$\mid$ $x$ = $a$\}